Skip to content

Manual forward port of: Bazel updates (#1196)#1200

Merged
shameekganguly merged 1 commit intomainfrom
shameek/bazel_fpo
Dec 12, 2025
Merged

Manual forward port of: Bazel updates (#1196)#1200
shameekganguly merged 1 commit intomainfrom
shameek/bazel_fpo

Conversation

@shameekganguly
Copy link
Copy Markdown
Contributor

The change had to be amended to apply it on main. Specifically, the repo archive_overrides in MODULE.bazel for gz deps were removed in that PR on the Jetty branch, but we want to preserve it on main to ensure CI uses gz deps from HEAD.

-- Original PR description
Few small fixes in MODULE.bazel as pre-work to add automation to push new releases to BCR.

  • Drop repo_name, which removes the need to patch MODULE.bazel when pushing a release to BCR. repo_name is not a required field and can be added on the client side during import if needed to disambiguate packages.
  • Add compatibility_level to match what is set in BCR
  • Add buildifier linting for consistent bazel files formatting.
  • Use cc_library and cc_test from rules_cc, rather than native rules which are deprecated in bazel 9. The buildifier lint target added above already enforces this.
  • Add module docstring for bazel/gz_rendering_engine_libraries.bzl (enforced by buildifier linting).
  • Bump rules_cc and rules_gazebo to versions indicated by bazel in the resolved build graph.

Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining Signed-off-by messages.

Signed-off-by: Shameek Ganguly <shameek@intrinsic.ai>
@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Dec 12, 2025
@shameekganguly shameekganguly merged commit 0bb6be5 into main Dec 12, 2025
13 of 15 checks passed
@shameekganguly shameekganguly deleted the shameek/bazel_fpo branch December 12, 2025 23:53
@github-project-automation github-project-automation bot moved this from In review to Done in Core development Dec 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants